((v3 v1 5) (v1 v2 9))
25
((v2 v3))